(note_mouse_highlight) [HAVE_NTGUI]: Don't bother to check popup_activated.

diff --git a/src/xdisp.c b/src/xdisp.c
index b85fdb4d71e0ed814135b5f4612edb9864ad2f73..8dc34b776c4010a1383c32f5765584a9ea0fffb8 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -22636,7 +22636,7 @@ note_mouse_highlight (f, x, y)
   struct buffer *b;
 
   /* When a menu is active, don't highlight because this looks odd.  */
-#if defined (USE_X_TOOLKIT) || defined (USE_GTK) || defined (HAVE_NTGUI)
+#if defined (USE_X_TOOLKIT) || defined (USE_GTK)
   if (popup_activated ())
     return;
 #endif